mklist(n; f) == primrec(n; []; (i,l. append(l; cons((f(i)); [])))) 

latex

Definitions	primrec(n; b; c), x.A(x), append(as; bs), cons(car; cdr), f(a), []
FDL editor aliases	mklist